1

Periodic and non-concurrent error detection and identification in one-hot encoded FSMs

Year:
2004
Language:
english
File:
PDF, 313 KB
english, 2004
4

Verification of detectability in Probabilistic Finite Automata

Year:
2017
Language:
english
File:
PDF, 679 KB
english, 2017
6

Partial state observers for linear systems with unknown inputs

Year:
2008
Language:
english
File:
PDF, 1.23 MB
english, 2008
15

Minimum Initial Marking Estimation in Labeled Petri Nets

Year:
2013
Language:
english
File:
PDF, 320 KB
english, 2013
19

Detectability in Stochastic Discrete Event Systems

Year:
2014
Language:
english
File:
PDF, 494 KB
english, 2014
22

Probabilistic system opacity in discrete event systems

Year:
2017
Language:
english
File:
PDF, 973 KB
english, 2017
33

Bounds on FSM Switching Activity

Year:
2008
Language:
english
File:
PDF, 305 KB
english, 2008
45

Year:
2007
Language:
english
File:
PDF, 230 KB
english, 2007